VAGUENESS, KANT AND TOPOLOGY : A STUDY OF FORMAL EPISTEMOLOGYBONIOLO, Giovanni; VALENTINI, Silvio.Journal of philosophical logic. 2008, Vol 37, Num 2, pp 141-168, issn 0022-3611, 28 p.Article

The Zariski spectrum as a formal geometrySCHUSTER, Peter.Theoretical computer science. 2008, Vol 405, Num 1-2, pp 101-115, issn 0304-3975, 15 p.Conference Paper

Constructive metrisability in point-free topologyCURI, Giovanni.Theoretical computer science. 2003, Vol 305, Num 1-3, pp 85-109, issn 0304-3975, 25 p.Conference Paper

Finitary formal topologies and Stone's representation theoremCIRAULO, Francesco; SAMBIN, Giovanni.Theoretical computer science. 2008, Vol 405, Num 1-2, pp 11-23, issn 0304-3975, 13 p.Conference Paper